- typing system
- система типов
Англо-русский словарь по вычислительной технике и информационным технологиям - 4-е изд.. Сергей Орлов .
typing system
Смотреть что такое "typing system" в других словарях:
System F — System F, also known as the polymorphic lambda calculus or the second order lambda calculus, is a typed lambda calculus. It was discovered independently by the logician Jean Yves Girard and the computer scientist John C. Reynolds. System F… … Wikipedia
System programming language — System programming languages (otherwise known as applications languages) are programming languages that are statically typed, allow arbitrarily complex data structures, compiled, and meant to operate largely independently of other programs.… … Wikipedia
system — n. group of items serving a common purpose 1) an air conditioning; amplifying; brake; data processing; filing; guidance; heating; highway (AE), motorway (BE), road; intercommunication; life support; number; public address; railroad (AE), railway… … Combinatory dictionary
system — noun Etymology: Late Latin systemat , systema, from Greek systēmat , systēma, from synistanai to combine, from syn + histanai to cause to stand more at stand Date: 1603 1. a regularly interacting or interdependent group of items forming a unified … New Collegiate Dictionary
System/34 BASIC — IBM System/34 BASIC was an interpreter for the IBM System/34 midrange computer.System/34 BASIC was first offered in 1978, and as such, contained many of the trappings that a BASIC program would have encountered in the time period of the TRS 80,… … Wikipedia
System/36 BASIC — IBM System/36 BASIC was an interpreter for the IBM System/36 midrange computer.System/36 BASIC was first offered in 1983, and as such, contained many of the trappings that a BASIC program would have encountered in the time period of the IBM PC,… … Wikipedia
System/34 and System/36 Screen Design Aid — Screen Design Aid (System/34 and System/36) (SDA) is a utility for the IBM System/34, System/36, System/38, and AS/400 (iSeries) midrange computers.This article refers to the S/34 and S/36 implementations of SDA. S/38 and AS/400 use a different… … Wikipedia
System Reference Manual — The SRM firmware (also called the SRM console) is the boot firmware written by Digital Equipment Corporation (DEC) for computer systems based on the Alpha AXP microprocessor. The acronym SRM is derived from the phrase Alpha System Reference… … Wikipedia
typing — noun writing done with a typewriter (Freq. 2) • Syn: ↑typewriting • Derivationally related forms: ↑typewrite (for: ↑typewriting), ↑type • Hypernyms … Useful english dictionary
Typing — Typisierung steht für: Typifikation, das System und den Vorgang des Einteilens von Gegenständen in Typen, siehe Klassifikation in Technik und Recht für die Prüfung auf Vorschriftsmässigkeit von Waren, Geräten uä., siehe Bauartzulassung die… … Deutsch Wikipedia
Duck typing — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
